2.2.4 Integrals 301 to 400

Detailed conclusion table per each integral is given by the table below. The elapsed time is in seconds. For failed result it is given as F(-1) if the failure was due to timeout. It is given as F(-2) if the failure was due to an exception being raised, which could indicate a bug in the system. If the failure was due to integral not being evaluated within the time limit, then it is given as F.

In this table, the column N.S. means normalized size and is defined as \(\frac {\text {antiderivative leaf size}}{\text {optimal antiderivative leaf size}}\). To make the table fit the page, the name Mathematica was abbreviated to MMA

Problem 301

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A A A C B A B

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

230 258 138 136 208 218 512 210 77

N.S.

1 1.12 0.60 0.59 0.90 0.95 2.23 0.91 0.33

time (sec)

N/A 0.430 0.297 1.808 0.284 0.291 102.098 0.273 0.090

Problem 302

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A A A C F(-1) A B

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

230 260 138 136 209 244 0 196 77

N.S.

1 1.13 0.60 0.59 0.91 1.06 0.00 0.85 0.33

time (sec)

N/A 0.423 0.289 1.806 0.295 0.281 0.000 0.278 5.003

Problem 303

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A A A C F(-1) A B

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

243 277 149 145 221 263 0 220 87

N.S.

1 1.14 0.61 0.60 0.91 1.08 0.00 0.91 0.36

time (sec)

N/A 0.450 0.313 1.813 0.288 0.264 0.000 0.282 0.097

Problem 304

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A A A C F(-1) A B

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

239 270 138 139 218 275 0 209 87

N.S.

1 1.13 0.58 0.58 0.91 1.15 0.00 0.87 0.36

time (sec)

N/A 0.425 0.341 1.859 0.278 0.264 0.000 0.288 4.965

Problem 305

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A A A C F(-1) A B

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

242 270 136 138 222 289 0 212 85

N.S.

1 1.12 0.56 0.57 0.92 1.19 0.00 0.88 0.35

time (sec)

N/A 0.430 0.327 1.852 0.276 0.269 0.000 0.286 0.088

Problem 306

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A A A C F(-1) A B

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

242 270 137 138 221 279 0 211 85

N.S.

1 1.12 0.57 0.57 0.91 1.15 0.00 0.87 0.35

time (sec)

N/A 0.435 0.326 1.795 0.297 0.274 0.000 0.299 4.889

Problem 307

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A A A C F(-1) A B

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

239 270 138 150 217 281 0 209 86

N.S.

1 1.13 0.58 0.63 0.91 1.18 0.00 0.87 0.36

time (sec)

N/A 0.426 0.222 1.783 0.284 0.269 0.000 0.292 0.088

Problem 308

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A A A C F(-1) A B

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

239 270 138 147 217 268 0 209 86

N.S.

1 1.13 0.58 0.62 0.91 1.12 0.00 0.87 0.36

time (sec)

N/A 0.429 0.222 1.789 0.285 0.278 0.000 0.275 0.099

Problem 309

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A A A C F(-1) A B

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

251 287 149 145 230 284 0 220 99

N.S.

1 1.14 0.59 0.58 0.92 1.13 0.00 0.88 0.39

time (sec)

N/A 0.441 0.382 1.829 0.280 0.261 0.000 0.269 0.108

Problem 310

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A A A C F(-1) A B

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

251 289 149 145 231 310 0 208 99

N.S.

1 1.15 0.59 0.58 0.92 1.24 0.00 0.83 0.39

time (sec)

N/A 0.444 0.373 1.823 0.275 0.272 0.000 0.288 4.864

Problem 311

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A A A C F(-1) A B

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

264 306 160 155 243 329 0 232 109

N.S.

1 1.16 0.61 0.59 0.92 1.25 0.00 0.88 0.41

time (sec)

N/A 0.469 0.396 1.822 0.273 0.265 0.000 0.275 4.878

Problem 312

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A A B C A B B

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

58 65 48 58 86 124 92 194 33

N.S.

1 1.12 0.83 1.00 1.48 2.14 1.59 3.34 0.57

time (sec)

N/A 0.181 0.038 1.788 0.289 0.262 0.980 0.277 0.086

Problem 313

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A A A C A A B

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

108 121 59 67 84 79 105 84 47

N.S.

1 1.12 0.55 0.62 0.78 0.73 0.97 0.78 0.44

time (sec)

N/A 0.299 0.076 1.835 0.272 0.267 0.538 0.278 4.845

Problem 314

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A A A C A A B

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

101 114 55 62 79 74 99 79 42

N.S.

1 1.13 0.54 0.61 0.78 0.73 0.98 0.78 0.42

time (sec)

N/A 0.291 0.054 1.801 0.285 0.272 0.316 0.267 0.046

Problem 315

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A A A C A A B

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

99 112 54 62 79 74 97 79 42

N.S.

1 1.13 0.55 0.63 0.80 0.75 0.98 0.80 0.42

time (sec)

N/A 0.288 0.051 1.787 0.276 0.295 0.211 0.271 0.045

Problem 316

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A A A C A A B

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

92 104 41 56 74 69 90 74 37

N.S.

1 1.13 0.45 0.61 0.80 0.75 0.98 0.80 0.40

time (sec)

N/A 0.278 0.046 1.799 0.274 0.333 0.176 0.266 0.039

Problem 317

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A A A C A A B

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

92 104 39 56 74 69 90 74 37

N.S.

1 1.13 0.42 0.61 0.80 0.75 0.98 0.80 0.40

time (sec)

N/A 0.274 0.045 1.791 0.279 0.352 0.205 0.263 0.028

Problem 318

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A A A C A A B

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

99 112 53 62 79 83 97 79 42

N.S.

1 1.13 0.54 0.63 0.80 0.84 0.98 0.80 0.42

time (sec)

N/A 0.289 0.059 1.799 0.283 0.287 0.334 0.264 0.039

Problem 319

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A A A C A A B

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

101 114 56 62 79 91 99 79 42

N.S.

1 1.13 0.55 0.61 0.78 0.90 0.98 0.78 0.42

time (sec)

N/A 0.284 0.064 1.815 0.304 0.262 0.457 0.274 0.040

Problem 320

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A A A C A A B

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

108 121 62 67 86 98 105 86 48

N.S.

1 1.12 0.57 0.62 0.80 0.91 0.97 0.80 0.44

time (sec)

N/A 0.292 0.072 1.810 0.277 0.267 0.810 0.266 0.045

Problem 321

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A A A C B A B

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

122 133 72 74 91 118 277 91 55

N.S.

1 1.09 0.59 0.61 0.75 0.97 2.27 0.75 0.45

time (sec)

N/A 0.301 0.135 1.836 0.279 0.269 1.214 0.285 0.084

Problem 322

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A A A C B A B

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

113 123 65 69 86 111 264 86 51

N.S.

1 1.09 0.58 0.61 0.76 0.98 2.34 0.76 0.45

time (sec)

N/A 0.293 0.133 1.846 0.294 0.262 0.889 0.266 4.802

Problem 323

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A A A C B A B

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

113 123 63 69 86 107 257 86 51

N.S.

1 1.09 0.56 0.61 0.76 0.95 2.27 0.76 0.45

time (sec)

N/A 0.286 0.124 1.807 0.286 0.273 0.663 0.264 0.078

Problem 324

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A A A C B A B

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

113 123 64 69 86 107 257 86 50

N.S.

1 1.09 0.57 0.61 0.76 0.95 2.27 0.76 0.44

time (sec)

N/A 0.286 0.110 1.800 0.273 0.275 0.509 0.273 0.037

Problem 325

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A A A C B A B

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

113 123 65 69 86 111 264 86 50

N.S.

1 1.09 0.58 0.61 0.76 0.98 2.34 0.76 0.44

time (sec)

N/A 0.302 0.114 1.817 0.276 0.260 0.622 0.272 4.781

Problem 326

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A A A C B A B

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

122 133 72 74 92 126 366 92 55

N.S.

1 1.09 0.59 0.61 0.75 1.03 3.00 0.75 0.45

time (sec)

N/A 0.305 0.169 1.818 0.283 0.263 0.849 0.269 4.803

Problem 327

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A A A C B A B

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

122 135 72 74 92 136 366 91 55

N.S.

1 1.11 0.59 0.61 0.75 1.11 3.00 0.75 0.45

time (sec)

N/A 0.302 0.153 1.812 0.278 0.254 1.364 0.269 0.084

Problem 328

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A A A C B A B

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

131 142 77 79 97 141 384 98 59

N.S.

1 1.08 0.59 0.60 0.74 1.08 2.93 0.75 0.45

time (sec)

N/A 0.310 0.157 1.808 0.282 0.264 2.765 0.269 4.774

Problem 329

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A A A C B A B

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

129 144 72 76 99 143 481 94 62

N.S.

1 1.12 0.56 0.59 0.77 1.11 3.73 0.73 0.48

time (sec)

N/A 0.310 0.191 1.944 0.281 0.269 3.446 0.286 4.766

Problem 330

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A A A C B A B

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

129 144 72 76 99 145 481 94 62

N.S.

1 1.12 0.56 0.59 0.77 1.12 3.73 0.73 0.48

time (sec)

N/A 0.321 0.161 2.025 0.270 0.268 2.498 0.273 0.074

Problem 331

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A A A C B A B

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

129 144 70 74 97 141 481 92 62

N.S.

1 1.12 0.54 0.57 0.75 1.09 3.73 0.71 0.48

time (sec)

N/A 0.314 0.152 1.811 0.274 0.280 1.734 0.291 4.800

Problem 332

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A A A C B A B

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

129 144 72 76 99 145 481 94 61

N.S.

1 1.12 0.56 0.59 0.77 1.12 3.73 0.73 0.47

time (sec)

N/A 0.314 0.108 1.814 0.288 0.268 1.269 0.277 0.042

Problem 333

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A A A C B A B

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

129 144 72 76 99 143 481 94 61

N.S.

1 1.12 0.56 0.59 0.77 1.11 3.73 0.73 0.47

time (sec)

N/A 0.310 0.103 1.808 0.289 0.267 1.578 0.285 4.918

Problem 334

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A A A C B A B

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

138 154 77 81 102 156 653 99 65

N.S.

1 1.12 0.56 0.59 0.74 1.13 4.73 0.72 0.47

time (sec)

N/A 0.320 0.199 1.794 0.281 0.284 2.257 0.283 4.824

Problem 335

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A A A C B A B

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

138 156 77 81 102 166 653 99 65

N.S.

1 1.13 0.56 0.59 0.74 1.20 4.73 0.72 0.47

time (sec)

N/A 0.321 0.201 1.836 0.294 0.260 3.860 0.276 4.870

Problem 336

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A A A C B A B

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

147 163 82 86 107 171 678 106 69

N.S.

1 1.11 0.56 0.59 0.73 1.16 4.61 0.72 0.47

time (sec)

N/A 0.334 0.186 1.836 0.285 0.282 7.995 0.276 0.080

Problem 337

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A B B B B B B

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

15 23 15 24 23 23 26 24 11

N.S.

1 1.53 1.00 1.60 1.53 1.53 1.73 1.60 0.73

time (sec)

N/A 0.144 0.019 1.809 0.265 0.256 0.103 0.273 0.036

Problem 338

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A C A A B A A B

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

73 110 79 69 68 155 94 68 57

N.S.

1 1.51 1.08 0.95 0.93 2.12 1.29 0.93 0.78

time (sec)

N/A 0.277 0.126 6.450 0.282 0.264 0.379 0.283 4.798

Problem 339

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A B A B B B B

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

97 97 88 431 97 367 1999 540 389

N.S.

1 1.00 0.91 4.44 1.00 3.78 20.61 5.57 4.01

time (sec)

N/A 0.232 0.136 1.969 0.189 0.267 0.730 0.304 5.034

Problem 340

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A B A B B B B

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

79 79 72 290 79 251 1221 365 272

N.S.

1 1.00 0.91 3.67 1.00 3.18 15.46 4.62 3.44

time (sec)

N/A 0.215 0.057 1.896 0.183 0.269 0.550 0.290 4.796

Problem 341

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A A A B B B B

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

61 61 56 72 61 157 683 224 167

N.S.

1 1.00 0.92 1.18 1.00 2.57 11.20 3.67 2.74

time (sec)

N/A 0.193 0.043 1.843 0.185 0.257 0.414 0.284 4.935

Problem 342

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A A A A B B B

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

43 43 40 51 43 85 306 117 93

N.S.

1 1.00 0.93 1.19 1.00 1.98 7.12 2.72 2.16

time (sec)

N/A 0.173 0.031 1.811 0.188 0.272 0.312 0.278 4.743

Problem 343

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A A A A B A B

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

25 25 25 30 25 33 94 43 34

N.S.

1 1.00 1.00 1.20 1.00 1.32 3.76 1.72 1.36

time (sec)

N/A 0.157 0.023 0.032 0.189 0.266 0.217 0.275 4.667

Problem 344

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A F F F C F F(-1)

verified

N/A Yes Yes N/A TBD TBD TBD TBD TBD

size

39 39 41 0 0 0 88 0 0

N.S.

1 1.00 1.05 0.00 0.00 0.00 2.26 0.00 0.00

time (sec)

N/A 0.151 0.031 0.000 0.000 0.000 0.640 0.000 0.000

Problem 345

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A F F F C F F(-1)

verified

N/A Yes Yes N/A TBD TBD TBD TBD TBD

size

39 39 41 0 0 0 377 0 0

N.S.

1 1.00 1.05 0.00 0.00 0.00 9.67 0.00 0.00

time (sec)

N/A 0.152 0.025 0.000 0.000 0.000 3.138 0.000 0.000

Problem 346

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A F F F C F F(-1)

verified

N/A Yes Yes N/A TBD TBD TBD TBD TBD

size

39 39 41 0 0 0 1574 0 0

N.S.

1 1.00 1.05 0.00 0.00 0.00 40.36 0.00 0.00

time (sec)

N/A 0.155 0.026 0.000 0.000 0.000 10.670 0.000 0.000

Problem 347

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A F F F C F F(-1)

verified

N/A Yes Yes N/A TBD TBD TBD TBD TBD

size

44 44 45 0 0 0 88 0 0

N.S.

1 1.00 1.02 0.00 0.00 0.00 2.00 0.00 0.00

time (sec)

N/A 0.156 0.036 0.000 0.000 0.000 0.642 0.000 0.000

Problem 348

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A F F F C F F(-1)

verified

N/A Yes Yes N/A TBD TBD TBD TBD TBD

size

44 44 42 0 0 0 95 0 0

N.S.

1 1.00 0.95 0.00 0.00 0.00 2.16 0.00 0.00

time (sec)

N/A 0.156 0.006 0.000 0.000 0.000 0.631 0.000 0.000

Problem 349

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A F F F C F F(-1)

verified

N/A Yes Yes N/A TBD TBD TBD TBD TBD

size

38 38 38 0 0 0 51 0 0

N.S.

1 1.00 1.00 0.00 0.00 0.00 1.34 0.00 0.00

time (sec)

N/A 0.150 0.026 0.000 0.000 0.000 0.646 0.000 0.000

Problem 350

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A F F F C F F(-1)

verified

N/A Yes Yes N/A TBD TBD TBD TBD TBD

size

47 47 44 0 0 0 99 0 0

N.S.

1 1.00 0.94 0.00 0.00 0.00 2.11 0.00 0.00

time (sec)

N/A 0.155 0.029 0.000 0.000 0.000 0.689 0.000 0.000

Problem 351

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A F F F C F F(-1)

verified

N/A Yes Yes N/A TBD TBD TBD TBD TBD

size

45 45 44 0 0 0 85 0 0

N.S.

1 1.00 0.98 0.00 0.00 0.00 1.89 0.00 0.00

time (sec)

N/A 0.151 0.029 0.000 0.000 0.000 0.686 0.000 0.000

Problem 352

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A C F F C F F(-1)

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

36 36 38 92 0 0 347 0 0

N.S.

1 1.00 1.06 2.56 0.00 0.00 9.64 0.00 0.00

time (sec)

N/A 0.146 0.006 2.340 0.000 0.000 3.114 0.000 0.000

Problem 353

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A A A A A A B

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

80 84 61 47 73 57 110 57 55

N.S.

1 1.05 0.76 0.59 0.91 0.71 1.38 0.71 0.69

time (sec)

N/A 0.199 0.028 1.849 0.190 0.247 0.272 0.286 4.683

Problem 354

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A A A A A A B

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

59 63 50 36 53 46 87 43 44

N.S.

1 1.07 0.85 0.61 0.90 0.78 1.47 0.73 0.75

time (sec)

N/A 0.182 0.023 1.832 0.201 0.250 0.207 0.291 4.621

Problem 355

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A A A A B A B

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

38 42 38 25 33 34 63 29 33

N.S.

1 1.11 1.00 0.66 0.87 0.89 1.66 0.76 0.87

time (sec)

N/A 0.169 0.021 1.826 0.188 0.261 0.170 0.276 4.599

Problem 356

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A A A A B A B

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

18 18 18 15 14 14 39 14 14

N.S.

1 1.00 1.00 0.83 0.78 0.78 2.17 0.78 0.78

time (sec)

N/A 0.133 0.002 6.500 0.196 0.266 0.074 0.284 4.531

Problem 357

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A A A A A A B

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

37 43 37 30 27 77 56 33 29

N.S.

1 1.16 1.00 0.81 0.73 2.08 1.51 0.89 0.78

time (sec)

N/A 0.163 0.024 1.828 0.185 0.266 0.829 0.288 4.797

Problem 358

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A A A A A A B

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

47 47 47 42 51 106 42 46 35

N.S.

1 1.00 1.00 0.89 1.09 2.26 0.89 0.98 0.74

time (sec)

N/A 0.163 0.055 6.504 0.195 0.264 1.032 0.290 4.794

Problem 359

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A A A A A A B

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

71 73 62 56 73 131 92 72 54

N.S.

1 1.03 0.87 0.79 1.03 1.85 1.30 1.01 0.76

time (sec)

N/A 0.176 0.085 1.859 0.203 0.255 2.059 0.295 4.999

Problem 360

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A A A A A A B

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

95 103 73 71 93 157 117 92 74

N.S.

1 1.08 0.77 0.75 0.98 1.65 1.23 0.97 0.78

time (sec)

N/A 0.192 0.100 1.849 0.207 0.266 4.834 0.285 4.971

Problem 361

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A A A A A A F(-1)

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

94 103 82 62 69 146 117 64 0

N.S.

1 1.10 0.87 0.66 0.73 1.55 1.24 0.68 0.00

time (sec)

N/A 0.194 0.235 1.866 0.185 0.256 4.774 0.302 0.000

Problem 362

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A A A A A A F(-1)

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

70 73 69 49 49 119 92 50 0

N.S.

1 1.04 0.99 0.70 0.70 1.70 1.31 0.71 0.00

time (sec)

N/A 0.185 0.160 1.838 0.201 0.252 1.993 0.303 0.000

Problem 363

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A A A A A A B

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

46 46 48 36 28 94 41 37 35

N.S.

1 1.00 1.04 0.78 0.61 2.04 0.89 0.80 0.76

time (sec)

N/A 0.157 0.037 1.854 0.203 0.264 0.961 0.299 4.643

Problem 364

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A A A A A A B

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

42 42 45 36 28 88 56 57 56

N.S.

1 1.00 1.07 0.86 0.67 2.10 1.33 1.36 1.33

time (sec)

N/A 0.157 0.040 1.869 0.208 0.250 0.820 0.289 4.957

Problem 365

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A A A A B B B

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

21 21 21 18 17 17 42 59 17

N.S.

1 1.00 1.00 0.86 0.81 0.81 2.00 2.81 0.81

time (sec)

N/A 0.138 0.042 1.836 0.213 0.252 0.417 0.306 4.736

Problem 366

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A A A A A B B

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

44 44 42 28 36 38 68 112 37

N.S.

1 1.00 0.95 0.64 0.82 0.86 1.55 2.55 0.84

time (sec)

N/A 0.155 0.052 6.516 0.209 0.253 0.540 0.291 4.863

Problem 367

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A A A A B B B

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

68 74 53 39 56 49 359 138 73

N.S.

1 1.09 0.78 0.57 0.82 0.72 5.28 2.03 1.07

time (sec)

N/A 0.175 0.059 1.867 0.191 0.252 0.710 0.295 4.911

Problem 368

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A A A A B B B

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

92 104 64 50 76 60 575 166 93

N.S.

1 1.13 0.70 0.54 0.83 0.65 6.25 1.80 1.01

time (sec)

N/A 0.190 0.064 1.882 0.202 0.259 0.993 0.299 4.988

Problem 369

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A A A A A A B

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

80 84 50 47 73 68 133 57 64

N.S.

1 1.05 0.62 0.59 0.91 0.85 1.66 0.71 0.80

time (sec)

N/A 0.195 0.035 1.842 0.209 0.256 0.411 0.293 4.732

Problem 370

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A A A A B A B

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

59 63 39 36 53 57 109 43 53

N.S.

1 1.07 0.66 0.61 0.90 0.97 1.85 0.73 0.90

time (sec)

N/A 0.185 0.029 1.838 0.196 0.257 0.338 0.281 4.604

Problem 371

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A A A A B A B

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

38 42 28 25 33 45 85 29 42

N.S.

1 1.11 0.74 0.66 0.87 1.18 2.24 0.76 1.11

time (sec)

N/A 0.172 0.026 1.815 0.197 0.252 0.256 0.296 4.692

Problem 372

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A A A B B A B

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

18 18 18 15 14 32 61 14 14

N.S.

1 1.00 1.00 0.83 0.78 1.78 3.39 0.78 0.78

time (sec)

N/A 0.134 0.002 6.544 0.210 0.254 0.123 0.278 4.572

Problem 373

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A A A A A A B

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

54 61 50 41 40 100 78 48 42

N.S.

1 1.13 0.93 0.76 0.74 1.85 1.44 0.89 0.78

time (sec)

N/A 0.173 0.035 1.847 0.219 0.286 1.203 0.284 4.620

Problem 374

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A A A A A A B

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

63 65 57 57 63 119 88 63 47

N.S.

1 1.03 0.90 0.90 1.00 1.89 1.40 1.00 0.75

time (sec)

N/A 0.172 0.072 6.558 0.230 0.252 1.413 0.298 4.802

Problem 375

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A A A A A A B

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

68 71 59 57 90 136 71 70 52

N.S.

1 1.04 0.87 0.84 1.32 2.00 1.04 1.03 0.76

time (sec)

N/A 0.172 0.096 1.865 0.227 0.259 1.644 0.291 4.942

Problem 376

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A A A A A A B

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

92 97 73 71 110 157 119 92 72

N.S.

1 1.05 0.79 0.77 1.20 1.71 1.29 1.00 0.78

time (sec)

N/A 0.191 0.105 1.880 0.227 0.263 3.509 0.277 5.092

Problem 377

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A A A A A A B

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

116 127 84 78 130 179 148 109 89

N.S.

1 1.09 0.72 0.67 1.12 1.54 1.28 0.94 0.77

time (sec)

N/A 0.206 0.129 1.879 0.220 0.279 11.076 0.283 5.231

Problem 378

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A A A A A A F(-1)

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

115 127 93 73 87 168 148 76 0

N.S.

1 1.10 0.81 0.63 0.76 1.46 1.29 0.66 0.00

time (sec)

N/A 0.215 0.298 1.890 0.207 0.269 11.093 0.281 0.000

Problem 379

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A A A A A A F(-1)

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

91 97 82 62 67 145 119 63 0

N.S.

1 1.07 0.90 0.68 0.74 1.59 1.31 0.69 0.00

time (sec)

N/A 0.193 0.246 1.864 0.195 0.277 3.483 0.287 0.000

Problem 380

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A A A A A A B

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

65 68 60 48 43 124 70 49 37

N.S.

1 1.05 0.92 0.74 0.66 1.91 1.08 0.75 0.57

time (sec)

N/A 0.166 0.056 1.855 0.200 0.250 1.548 0.286 4.620

Problem 381

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A A A A A A B

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

63 66 65 48 43 112 88 73 40

N.S.

1 1.05 1.03 0.76 0.68 1.78 1.40 1.16 0.63

time (sec)

N/A 0.177 0.122 1.873 0.206 0.256 1.373 0.286 4.963

Problem 382

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A A A A A B F(-1)

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

61 63 57 44 66 112 78 114 0

N.S.

1 1.03 0.93 0.72 1.08 1.84 1.28 1.87 0.00

time (sec)

N/A 0.179 0.077 1.874 0.202 0.254 1.274 0.281 0.000

Problem 383

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A A A B B B B

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

21 21 21 18 17 35 68 86 17

N.S.

1 1.00 1.00 0.86 0.81 1.67 3.24 4.10 0.81

time (sec)

N/A 0.142 0.056 1.842 0.204 0.281 0.511 0.291 4.919

Problem 384

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A A A A B B B

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

44 44 31 28 36 49 94 166 71

N.S.

1 1.00 0.70 0.64 0.82 1.11 2.14 3.77 1.61

time (sec)

N/A 0.159 0.067 1.862 0.217 0.273 0.629 0.304 4.990

Problem 385

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A A A A B B B

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

68 74 42 39 56 60 420 192 91

N.S.

1 1.09 0.62 0.57 0.82 0.88 6.18 2.82 1.34

time (sec)

N/A 0.178 0.079 1.869 0.196 0.259 0.894 0.294 5.151

Problem 386

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A A A A B B B

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

92 104 53 50 76 71 648 220 111

N.S.

1 1.13 0.58 0.54 0.83 0.77 7.04 2.39 1.21

time (sec)

N/A 0.196 0.087 1.893 0.211 0.268 1.136 0.308 5.399

Problem 387

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A A A A B A B

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

80 84 50 47 73 79 158 57 75

N.S.

1 1.05 0.62 0.59 0.91 0.99 1.98 0.71 0.94

time (sec)

N/A 0.203 0.033 1.872 0.242 0.249 0.606 0.282 4.679

Problem 388

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A A A A B A B

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

59 63 39 36 53 68 133 43 64

N.S.

1 1.07 0.66 0.61 0.90 1.15 2.25 0.73 1.08

time (sec)

N/A 0.185 0.031 1.830 0.219 0.246 0.492 0.283 4.636

Problem 389

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A A A A B A B

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

38 42 28 25 33 56 109 29 53

N.S.

1 1.11 0.74 0.66 0.87 1.47 2.87 0.76 1.39

time (sec)

N/A 0.172 0.029 1.825 0.230 0.253 0.396 0.290 4.658

Problem 390

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A A A B B A B

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

18 18 18 15 14 43 85 14 14

N.S.

1 1.00 1.00 0.83 0.78 2.39 4.72 0.78 0.78

time (sec)

N/A 0.136 0.003 1.842 0.210 0.258 0.222 0.287 4.491

Problem 391

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A A A A A A B

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

72 79 62 53 54 126 105 62 59

N.S.

1 1.10 0.86 0.74 0.75 1.75 1.46 0.86 0.82

time (sec)

N/A 0.184 0.041 6.500 0.213 0.245 2.306 0.278 4.723

Problem 392

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A A A A A A B

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

80 83 68 68 76 142 112 82 66

N.S.

1 1.04 0.85 0.85 0.95 1.78 1.40 1.02 0.82

time (sec)

N/A 0.183 0.071 1.892 0.209 0.271 2.147 0.288 4.765

Problem 393

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A A A A A A B

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

86 89 70 71 104 145 117 88 71

N.S.

1 1.03 0.81 0.83 1.21 1.69 1.36 1.02 0.83

time (sec)

N/A 0.190 0.092 1.888 0.195 0.256 2.383 0.278 4.828

Problem 394

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A A A A A A B

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

89 95 70 68 127 158 99 87 72

N.S.

1 1.07 0.79 0.76 1.43 1.78 1.11 0.98 0.81

time (sec)

N/A 0.181 0.121 1.891 0.212 0.316 2.698 0.278 5.070

Problem 395

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A A A A A A B

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

113 121 84 78 147 179 150 109 89

N.S.

1 1.07 0.74 0.69 1.30 1.58 1.33 0.96 0.79

time (sec)

N/A 0.203 0.127 1.949 0.212 0.252 7.087 0.289 5.341

Problem 396

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A A A A A A B

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

137 151 95 88 167 201 175 126 106

N.S.

1 1.10 0.69 0.64 1.22 1.47 1.28 0.92 0.77

time (sec)

N/A 0.219 0.150 1.989 0.210 0.262 29.561 0.307 5.734

Problem 397

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A A A A A A F(-1)

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

136 151 104 84 105 190 175 91 0

N.S.

1 1.11 0.76 0.62 0.77 1.40 1.29 0.67 0.00

time (sec)

N/A 0.234 0.406 1.979 0.192 0.280 29.319 0.328 0.000

Problem 398

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A A A A A A F(-1)

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

112 121 93 73 85 167 150 77 0

N.S.

1 1.08 0.83 0.65 0.76 1.49 1.34 0.69 0.00

time (sec)

N/A 0.215 0.323 1.888 0.198 0.265 6.893 0.307 0.000

Problem 399

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A A A A A A B

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

84 90 71 59 58 146 97 63 37

N.S.

1 1.07 0.85 0.70 0.69 1.74 1.15 0.75 0.44

time (sec)

N/A 0.175 0.082 1.886 0.199 0.254 2.581 0.308 4.569

Problem 400

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A A A A A A B

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

83 88 73 61 59 140 117 87 40

N.S.

1 1.06 0.88 0.73 0.71 1.69 1.41 1.05 0.48

time (sec)

N/A 0.180 0.089 1.902 0.200 0.259 2.381 0.307 5.239